Not<B>
code:ts
type Not<B extends boolean> = B extends true ? false : true;